Theory by Process
نویسنده
چکیده
Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, each can be regarded as a service, an agent behind the scene or an axiom. The operational and observational semantics of the theories are investigated. The power of the approach is demonstrated by interpreting the asynchronous π-calculus as a theory, the asynchronous theory, in the π-calculus. A complete axiomatic system is constructed for the asynchronous theory, which gives rise to a proof system for the weak asynchronous bisimilarity of the asynchronous π.
منابع مشابه
Material Balance by Linear Equations
Material Balance around process has been conducted by using mixer output equations. A method based on Mason's theory has been proposed to develop mixer output equations.
متن کاملElicitation Strategies for Web Application Using Activity Theory
Requirements engineering (RE) is often seen as an essential facet in software development. It is a vital process before each project starts. In the context of systems engineering, an understanding and application of systems theory and practice is also relevant to RE. The contexts in which RE takes place habitually involve human activities. Therefore, RE needs to be sensitive to how people perce...
متن کاملFuzzy relations, Possibility theory, Measures of uncertainty, Mathematical modeling.
A central aim of educational research in the area of mathematical modeling and applications is to recognize the attainment level of students at defined states of the modeling process. In this paper, we introduce principles of fuzzy sets theory and possibility theory to describe the process of mathematical modeling in the classroom. The main stages of the modeling process are represented as fuzz...
متن کاملتعاریف و نظریه های سالمندی
The adult age occurs when somebody reaches 65 years of age. It consists of gradually destruction of the structure and organism of the body during a long period. It leads to transformation of structure and process of different organs, such as: turning the hair white, hair falling, skin wrinkling, visual and hearing reducing, back curving, muscle power reducing, memory and perception disordering ...
متن کاملDivision of Labor and Structuration Theory: A Comparative and Theoretical Analysis of Marx’s and Durkheim’s Theories as the Early Approaches to Structuration Theory
To the extent that a society is to work, there exist a need for a cooperative process, including Weber’s and Merton’s note of common means and goals. But at the same time, there exist no societal process without involving conflict; (conflict in a dynamic and dialectical sense.) Dealing with this problematic situation the emergence of “division of labor”, as a compulsive social differentiation, ...
متن کاملAcceleration of Islamic Revolution's Victory Process Based on McLuhan's Theory
This article mainly focuses on how and with the aid of what media Islamic revolution's leadership spread revolution's ideology among the masses and when necessary he mobilized and organized people. To address this question McLuhan's classification of media into hot and cool has been applied to study the influence of media by Imam Khomeini and acceleration of Islamic revolution's victory. Having...
متن کامل